verilog code for priority encoder